Euclid’s Division Lemma